Model Checking Existential Logic on Partially Ordered Sets

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tripled partially ordered sets

In this paper, we introduce tripled partially ordered sets and monotone functions on tripled partiallyordered sets. Some basic properties on these new dened sets are studied and some examples forclarifying are given.

متن کامل

Model Checking Partially Ordered State Spaces

The state explosion problem is the fundamental limitation of veriication through model checking. In many cases, representing the state space of a system as a lattice is an eeective way of ameliorating this problem. The partial order of the state space lattice represents an information ordering. The paper shows why using a lattice structure is desirable, and why a quaternary temporal logic rathe...

متن کامل

Partially Ordered Sets

For example, thus far, I had the fortune to work intimately with nine (9) undergraduate students on research questions in the areas of computational algebra and algebraic geometry. I am directing two master’s students in their research for their theses at Sam Houston State University. All of these undergraduate students have enrolled in graduate programs around the country. Three have finished ...

متن کامل

Hypergroupoids on Special Partially Ordered Sets

In recitals of this paper there we will be repeated the definitions and main results mentioned 1n [15] without proofs. The definition of the multioperation on partially ordered carrier set in this papers is idempotent, commutative but not associative operation. In the opening part of this article there we repeat fundamental definitions and some theorems without proofs. In the next part of this ...

متن کامل

On Algebras Associated to Partially Ordered Sets

We continue the study [2] on sheaves of rings on finite posets. We present examples where the ring of global sections coincide with toric faces rings, quotients of a polynomial ring by a monomial ideal and algebras with straightening laws. We prove a rank-selection theorem which generalizes the well-known rank-selection theorem of Stanley–Reisner rings. Finally, we determine an explicit present...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Transactions on Computational Logic

سال: 2016

ISSN: 1529-3785,1557-945X

DOI: 10.1145/2814937